- procedūros invariantas
- procedūros invariantas statusas T sritis informatika apibrėžtis Teiginys, kuris yra teisingas prieš vykdant procedūrą ir įvykdžius ją. Vartojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai invarianto sakinys pradedamas žodžiu assert. atitikmenys: angl. procedure invariant
Enciklopedinis kompiuterijos žodynas . Valentina Dagienė, Gintautas Grigas, Tatjana Jevsikova . 2008.